int address_mapped;
int system_wmb;
int system_rmb;
int system_mb;
int gnttab_grant_access;
int gnttab_grant_access;
int gnttab_end_access;
int alloc_page;
int gnttab_end_access;
int gnttab_grant_access;
int gnttab_grant_access;
int gnttab_address_of;
int disclaim_vspace;
int gnttab_unmap_grant_ref;
int gnttab_finish_foreign_transfer_ref;
int unback_pages;
int disclaim_vspace;
int machine_to_virtual;
int set_page_writable;
int set_page_writable;
int free_page;
int alloc_page;
int mark_as_page_table;
int mark_as_page_table_mfn;
int gnttab_grant_foreign_transfer_ref;
int gnttab_reset_foreign_transfer_ref;
int gnttab_transfer_page_to_dom;
int machine_to_virtual;
int gnttab_map_grant_ref;
int gnttab_map_grant_ref;
int map_readonly_frames;
int map_frames;
int virtual_to_machine;
int virtual_to_machine;
int claim_vspace;
int disclaim_vspace;
int claim_vspace;
int disclaim_vspace;
int claim_vspace;
int gnttab_grant_copy;
int get_domain_mod_len;
int get_magic_string_ptr;
int get_domain_flags;
int get_domain_mod_start;
int do_memory_op;
int do_memory_op;
int update_va_mapping_otherdomain;
int evtchn_alloc_unbound;
int do_domctl_op;
int do_sysctl_op;
int do_physdev_op;
int do_physdev_op;
int do_physdev_op;
int irq_send_eoi;
int irq_get_status;
int unset_port_handler;
int set_port_handler;
int unmask_evtchn;
int mask_evtchn;
int irq_get_status;
int evtchn_send;
int evtchn_close;
int bind_virq;
int evtchn_bind_interdomain;
int evtchn_bind_interdomain;
int bind_pirq;
int bind_pirq;
int evtchn_alloc_unbound;
int evtchn_alloc_unbound;
